how to change the font size in python shell